home *** CD-ROM | disk | FTP | other *** search
/ ADA Programming Guide / ADA Programming Guide.iso / ada_gnu / adainc / s-poosiz.ads < prev    next >
Text File  |  1996-01-30  |  4KB  |  79 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                     S Y S T E M . P O O L _ S I Z E                      --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.4 $                              --
  10. --                                                                          --
  11. --           Copyright (c) 1992,1993,1994 NYU, All Rights Reserved          --
  12. --                                                                          --
  13. -- The GNAT library is free software; you can redistribute it and/or modify --
  14. -- it under terms of the GNU Library General Public License as published by --
  15. -- the Free Software  Foundation; either version 2, or (at your option) any --
  16. -- later version.  The GNAT library is distributed in the hope that it will --
  17. -- be useful, but WITHOUT ANY WARRANTY;  without even  the implied warranty --
  18. -- of MERCHANTABILITY  or  FITNESS FOR  A PARTICULAR PURPOSE.  See the  GNU --
  19. -- Library  General  Public  License for  more  details.  You  should  have --
  20. -- received  a copy of the GNU  Library  General Public License  along with --
  21. -- the GNAT library;  see the file  COPYING.LIB.  If not, write to the Free --
  22. -- Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.        --
  23. --                                                                          --
  24. ------------------------------------------------------------------------------
  25.  
  26. with System.Storage_Pools;
  27. with System.Storage_Elements;
  28.  
  29. package System.Pool_Size is
  30.  
  31. pragma Elaborate_Body;
  32. --  Needed to ensure that library routines can execute allocators
  33.  
  34.    ------------------------
  35.    -- Stack_Bounded_Pool --
  36.    ------------------------
  37.  
  38.    --  Allocation strategy:
  39.  
  40.    --    Pool is a regular stack array, no use of malloc
  41.    --    user specified size
  42.    --    Space of pool is globally reclaimed by normal stack management
  43.  
  44.    --  Used in the compiler for access types with 'STORAGE_SIZE rep. clause
  45.    --  Only used for allocating objects of the same type.
  46.  
  47.    type Stack_Bounded_Pool
  48.      (Pool_Size : System.Storage_Elements.Storage_Count;
  49.       Elmt_Size : System.Storage_Elements.Storage_Count;
  50.       Alignment : System.Storage_Elements.Storage_Count)
  51.    is
  52.       new System.Storage_Pools.Root_Storage_Pool with record
  53.          First_Free        : System.Storage_Elements.Storage_Count;
  54.          First_Empty       : System.Storage_Elements.Storage_Count;
  55.          Aligned_Elmt_Size : System.Storage_Elements.Storage_Count;
  56.          The_Pool          : System.Storage_Elements.Storage_Array
  57.                                                        (1 .. Pool_Size);
  58.       end record;
  59.  
  60.    function Storage_Size
  61.      (Pool : Stack_Bounded_Pool)
  62.       return System.Storage_Elements.Storage_Count;
  63.  
  64.    procedure Allocate
  65.      (Pool         : in out Stack_Bounded_Pool;
  66.       Address      : out System.Address;
  67.       Storage_Size : System.Storage_Elements.Storage_Count;
  68.       Alignment    : System.Storage_Elements.Storage_Count);
  69.  
  70.    procedure Deallocate
  71.      (Pool         : in out Stack_Bounded_Pool;
  72.       Address      : System.Address;
  73.       Storage_Size : System.Storage_Elements.Storage_Count;
  74.       Alignment    : System.Storage_Elements.Storage_Count);
  75.  
  76.    procedure Initialize (Pool : in out Stack_Bounded_Pool);
  77.  
  78. end System.Pool_Size;
  79.